System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
851	IBM Data Language/I Disk Operating System/ Virtual Storage (DL/I DOS/VS) IBM Application Programming: Add to Reading List Source URL: publibz.boulder.ibm.com Language: English - Date: 2007-10-10 20:04:09 Software DOS/360 and successors PL/I Data Language Interface COBOL DOS CICS IBM Information Management System IBM DB2 Computing IBM software Software engineering
852	Linker and Libraries Guide Part No: 819–0690–10 November 2011 Copyright © 1993, 2011, Oracle and/or its affiliates. All rights reserved. Add to Reading List Source URL: docs.oracle.com Language: English - Date: 2012-06-02 12:35:35 OpenSolaris Programming language implementation Relocation Computer file formats Compiler construction Direct binding Library Solaris Linker Software Computing System software
853	[Faculty of Science Information and Computing Sciences] GHC 7.6, More Well-Typed Than Ever Jos´e Pedro Magalh˜aes http://www.dreixel.net Add to Reading List Source URL: dreixel.net Language: English - Date: 2014-11-04 15:52:18 Data types Type theory C++ Constructor Method ALGOL 68 Type system Kind C++ classes Software engineering Programming language theory Computing
854	ZU064-05-FPR main 29 April 2011 Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-04-29 09:44:18 Theoretical computer science Curry–Howard correspondence Dynamical system Polymorphism Parametricity Type system Denotational semantics Type theory Software engineering Programming language theory
855	installaware-casestudy-page2 Add to Reading List Source URL: www.installaware.com Language: English - Date: 2008-08-07 20:36:17 Installation software Integrated development environments Delphi programming language Borland Embarcadero Delphi Pascal Windows Installer C++Builder Installation Software System software Computing
856	Erlang/OTP System Documentation Copyright © [removed]Ericsson AB. All Rights Reserved. Erlang/OTP System Documentation[removed]May[removed] Copyright © [removed]Ericsson AB. All Rights Reserved. Add to Reading List Source URL: www.erlang.org Language: English Cross-platform software Ericsson Erlang Erlang programming language Linux Autoconf Opa Debian Software Computing System software
857	Checking the TWIN Elevator System by translating Object-Z to SMV S¨ oren Preibusch1 and Florian Kamm¨ uller2 1 Add to Reading List Source URL: preibusch.de Language: English - Date: 2008-02-24 12:57:15 Program analysis Type system Type theory Abstraction C Computing Software engineering Programming language theory
858	APL2 IBM Installation and Customization under CMS Version 2 Release 2 Add to Reading List Source URL: publibfp.boulder.ibm.com Language: English - Date: 2002-09-02 03:40:32 Software OS/2 IBM software Array programming languages Command shells APL CMS EXEC VM IBM System i Computing APL programming language family Computer architecture
859	APL2 IBM Migration Guide Version 2 Release 2 Add to Reading List Source URL: publibfp.boulder.ibm.com Language: English - Date: 2002-05-02 04:14:13 Array programming languages Computer programming IBM software APL K IBM AIX IBM System i Solaris OS/2 Computing APL programming language family Software engineering
860	Erlang/OTP System Documentation Copyright © [removed]Ericsson AB. All Rights Reserved. Erlang/OTP System Documentation[removed]September[removed] Copyright © [removed]Ericsson AB. All Rights Reserved. Add to Reading List Source URL: www.erlang.org Language: English Cross-platform software Ericsson Erlang Erlang programming language Linux Autoconf Opa Debian Software Computing System software

UPDATE